Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
نویسندگان
چکیده
منابع مشابه
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
This paper addresses the problem of path planning for multiple robots under high-level specifications given as syntactically co-safe linear temporal logic formulae. Most of the existing solutions use the notion of abstraction to obtain a discrete transition system that simulates the dynamics of the robot. Nevertheless, these solutions have poor scalability with the dimension of the configuratio...
متن کاملOptimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications
We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporal logic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensions and improvements.
متن کاملDistributed Informative Path Planning under Temporal Logic Constraints
In this work, we present an algorithm for synthesizing distributed control policies for networks of mobile robots such that they gather the maximum amount of information about some a priori unknown feature of the environment, e.g. hydration levels of crops or a lost person adrift at sea. Natural motion and communication constraints such as “Avoid obstacles and periodically communicate with all ...
متن کاملPhysics-based Motion Planning with Temporal Logic Specifications
One of the main foci of robotics is nowadays centered in providing a great degree of autonomy to robots. A fundamental step in this direction is to give them the ability to plan in discrete and continuous spaces to find the required motions to complete a complex task. In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide sam...
متن کاملMotion planning with temporal-logic specifications: Progress and challenges
Integrating task and motion planning is becoming increasingly important due to the recognition that a growing number of robotics applications in navigation, search-and-rescue missions, manipulation, and medicine involve reasoning with both discrete abstractions and continuous motions. The problem poses unique computational challenges: a vast hybrid discrete/continuous space must be searched whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Robotics and Automation Letters
سال: 2017
ISSN: 2377-3766,2377-3774
DOI: 10.1109/lra.2017.2727514